en

Exit subproof

ru

Übersetzung von "exit subproof" ins Russisch

exit subproof
выйти из поддоказательства
He should exit the subproof once the conclusion is reached.
Он должен выйти из поддоказательства, как только будет достигнуто заключение.